| 1. Identificação | ||||
| Tipo de Referência | Artigo em Evento (Conference Proceedings) | |||
| Site | mtc-m21b.sid.inpe.br | |||
| Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S | |||
| Identificador | 8JMKD3MGP3W34P/3NSSQSB | |||
| Repositório | sid.inpe.br/mtc-m21b/2017/05.15.19.45 | |||
| Última Atualização | 2017:05.15.19.45.35 (UTC) administrator | |||
| Repositório de Metadados | sid.inpe.br/mtc-m21b/2017/05.15.19.45.35 | |||
| Última Atualização dos Metadados | 2021:02.11.21.20.51 (UTC) administrator | |||
| Chave Secundária | INPE--PRE/ | |||
| Chave de Citação | PereiraSantMane:2017:CoViPr | |||
| Título | SEU mitigation for SRAM FPGAs: a comparison via probabilistic model checking  | |||
| Ano | 2017 | |||
| Data de Acesso | 02 maio 2024 | |||
| Tipo Secundário | PRE CN | |||
| Número de Arquivos | 1 | |||
| Tamanho | 454 KiB | |||
| 2. Contextualização | ||||
| Autor | 1 Pereira, Viny Cesar 2 Santiago Júnior, Valdivino Alexandre de 3 Manea, Silvio | |||
| Identificador de Curriculo | 1 2 8JMKD3MGP5W/3C9JJB5 | |||
| Grupo | 1 CAP-COMP-SESPG-INPE-MCTIC-GOV-BR 2 LABAC-COCTE-INPE-MCTIC-GOV-BR 3 SESEQ-CGETE-INPE-MCTIC-GOV-BR | |||
| Afiliação | 1 Instituto Nacional de Pesquisas Espaciais (INPE) 2 Instituto Nacional de Pesquisas Espaciais (INPE) 3 Instituto Nacional de Pesquisas Espaciais (INPE) | |||
| Endereço de e-Mail do Autor | 1 viny.pereira@inpe.br 2 valdivino.santiago@inpe.br 3 silvio.manea@inpe.br | |||
| Nome do Evento | Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos | |||
| Localização do Evento | Belém, PA | |||
| Data | 15-19 maio | |||
| Páginas | 56-69 | |||
| Título do Livro | Anais | |||
| Histórico (UTC) | 2017-05-15 19:46:08 :: simone -> administrator :: 2017 2021-02-11 21:20:51 :: administrator -> simone :: 2017 | |||
| 3. Conteúdo e estrutura | ||||
| É a matriz ou uma cópia? | é a matriz | |||
| Estágio do Conteúdo | concluido | |||
| Transferível | 1 | |||
| Tipo do Conteúdo | External Contribution | |||
| Tipo de Versão | publisher | |||
| Resumo | Although there are several Single-Event Upset (SEU) mitigation techniques for SRAM-based Field Programmable Gate Arrays (FPGAs), comparisons are still necessary regarding dependability analyzes of these techniques. Most of these assessments analyze the techniques after design and implementation in FPGA which may be too costly. Stochastic/Probabilistic analysis allow to obtain results in the early stages of design. In this paper, we compare three of these strategies, Scrubbing, Triple Modular Redundancy (TMR), and Hamming code, via Probabilistic Model Checking. Results show that TMR allows upsets to accumulate and must be combined with Error Correction Codes (ECCs), such as Hamming, and that the Scrubbing interval directly affects reliability while safety is more related to the coverage rate. | |||
| Área | COMP | |||
| Arranjo 1 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > SEU mitigation for... | |||
| Arranjo 2 | urlib.net > BDMCI > Fonds > Produção pgr ATUAIS > CAP > SEU mitigation for... | |||
| Arranjo 3 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > SESEQ > SEU mitigation for... | |||
| Conteúdo da Pasta doc | acessar | |||
| Conteúdo da Pasta source | não têm arquivos | |||
| Conteúdo da Pasta agreement |
| |||
| 4. Condições de acesso e uso | ||||
| URL dos dados | http://urlib.net/ibi/8JMKD3MGP3W34P/3NSSQSB | |||
| URL dos dados zipados | http://urlib.net/zip/8JMKD3MGP3W34P/3NSSQSB | |||
| Idioma | en | |||
| Arquivo Alvo | pereira_seu.pdf | |||
| Grupo de Usuários | simone | |||
| Grupo de Leitores | administrator simone | |||
| Visibilidade | shown | |||
| Permissão de Leitura | allow from all | |||
| Permissão de Atualização | não transferida | |||
| 5. Fontes relacionadas | ||||
| Unidades Imediatamente Superiores | 8JMKD3MGPCW/3ESGTTP 8JMKD3MGPCW/3F2PHGS 8JMKD3MGPCW/446B3AE | |||
| Lista de Itens Citando | sid.inpe.br/bibdigital/2013/10.12.22.16 2 sid.inpe.br/bibdigital/2013/09.22.23.14 1 sid.inpe.br/mtc-m21/2012/07.13.15.01.24 1 | |||
| Acervo Hospedeiro | sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 | |||
| 6. Notas | ||||
| Campos Vazios | archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi e-mailaddress edition editor format isbn issn keywords label lineage mark mirrorrepository nextedition notes numberofvolumes orcid organization parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url volume | |||
| 7. Controle da descrição | ||||
| e-Mail (login) | simone | |||
| atualizar | ||||